A Formalism for C++
نویسندگان
چکیده
In this paper, we develop a general formalism for describing the C++ programming language, and regular enough to cope with proposed extensions (such as concepts) for C++0x that affect its type system. Concepts are a mechanism for checking template arguments currently being developed to help cope with the massive use of templates in modern C++. The main challenges in developing a formalism for C++ are scoping, overriding, overloading, templates, specialization, and the C heritage exposed in the built-in types. Here, we primarily focus on templates and overloading.
منابع مشابه
NONDYNAMICAL ANALYSIS OF SPIN AMPLITUDES IN PION-PROTON ELASTIC SCATTERING IN OPTIMAL FORMALISM AT 6.0 GeV/C
Optimal conditions are used in nondynamical formalism to diagonalize the pionproton reaction matrix as much as possible. Invariance laws are imposed to simplify the relationship between observables and bilinear combination of amplitudes. Transverse amplitudes are determined by using measured polarization parameter in xfp elastic scattering at 6.0 GeVIC
متن کاملA Multi-Formalism Modeling Framework: Formal Definitions, Model Composition and Solution Strategies
In this paper, we present a multi-formalism modeling framework (abbreviated by MFMF) for modeling and simulation. The proposed framework is defined based on the concepts of meta-models and uses object-orientation to overcome the complexities and to enhance the extensibility. The framework can be used as a basis for modeling by various formalisms and to support model composition in a unified man...
متن کاملA Multi-Formalism Modeling Framework: Formal Definitions, Model Composition and Solution Strategies
In this paper, we present a multi-formalism modeling framework (abbreviated by MFMF) for modeling and simulation. The proposed framework is defined based on the concepts of meta-models and uses object-orientation to overcome the complexities and to enhance the extensibility. The framework can be used as a basis for modeling by various formalisms and to support model composition in a unified man...
متن کاملComparison the treatment time of cobalt and iridium sources in HDR brachytherapy
Introduction: The use of long-half-life Cobalt source instead of iridium source will be very helpful in HDR brachytherapy for treatment of cervical cancer. The aim of this study was compared the treatment time with cobalt and iridium source in brachytherapy for treatment of cervical cancer using Tandem-ovoid applicator. Materials and Methods: In this study, 19...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملتصحیح تقریب مرتبه اول بورن در برخورد یون-اتم در کانال تهییج توسط فرمولبندی آیکونال چند کاناله
In the present work has been tried to do a generalized formalism of semi-classical method used in ion-atom impact. One of the current method to calculation of the differential and total cross section for ion-atom impact at high energy range is the first Born approximation because of the simplicity of its calculations, but not necessarily sufficiently accurate. In particular this approximation i...
متن کامل